Add switch subcommand and RunManager

User can switch between different compiler sets.

RunManager is mainly used to source bashrc files before run the actual
commands so that the installed packages that are depended will be
effective.

Also add Armadillo package.