Make PS1 prompt shorter and more beautiful. Add function genhtml5. Autoload functions in .bash_functions/