Update names for synthesis keywords
Modify the keywords that are used for synthesis operations:
- Change controller, so it should use symbolic algorithm by default.
- Add:
- symbolicController: replaces symbolic keyword
- symbolicCompositionalController: replaces symbolicCompositional keyword
- explicitController: replaces controller keyword
- explicitCompositionalController: replaces compositional keyword