Make the bash completion into a static file

Since we already generate the man pages automatically,
we can generate the bash completions too.
It is much faster and does not risk making any network requests.

fixes #194