Bash autocompletion for ProB