First working version of a bash-completion port. I put it under shell/
but the proper location is still debatable. And: I have to figure out
how to educate the user that he has to source
/usr/local/share/bash-completion/bash_completion in his .bash{rc,_profile}
files in his personal home directory.