add setup_bash_profile script that can automatically setup .bash_profile and add some convenient shortcuts;