add django_bash_completiona and nvm stdout messages
add kerlrc
add tmux.conf
minor .emacs tweaks
add Emacs aliases: ec, vi, vim

Other changes:
* Also set docker environment variables
* Add coq and coqtop aliases
add mysql and graphiz header files to system-wide include search path