bash completion script for dReal

[soonhokong]

mentioned by @dzufferey

[soonhokong]

https://debian-administration.org/article/317/An_introduction_to_bash_completion_part_2

[dzufferey]

I did such a script for another tool I'm working on: https://github.com/wies/grasshopper/blob/master/bin/bash_completion.sh Is it not hard to do. However, dReal has a large number of options. To make sure that the script and dReals stays in sync, I'm wondering if we should generate the bash completion script directly from dReal code.

[soonhokong]

@dzufferey, thanks for the link. I'll first add the feature. Later, I'll add the automation part.