Add feature to `source` `~/.bash_profile`

[nils-geistmann]

The feature to source ~/.bash_profile should be configurable as an option. The documentation should clearly state that this will source the bash_profile from within the container, not the host.