commandline: Source .bashrc from .bash_profile

When we log in a machine using SSH, .bashrc is not sourced. In order to
achieve that, we need to make .bash_profile source it.