completion: output a bash completion script