Removing user name use envvar in .bash-<username>
Merge branch 'master' of https://github.com/mredar/appstrap
Merge remote-tracking branch 'ucldc/master'
set up robots.txt
Merge branch 'master' of https://github.com/ucldc/appstrap
Merge branch 'master' of https://github.com/mredar/appstrap