This commit adds profile removal ability.
You can use '-r' or '--remove'.
Following checks are done:
* not a virtual profile
* profile can be found in profiles.keys()
Also added the remove option to the bash completion (untested though,
using zsh and quite unfamiliar with it).