Some minor terminal and alias tweaks.

* web: alias for launching python webserver from dir
* mail_me: alias for emailing piped output to work address
* gnome terminal profile settings