various changes

1. Force dark background for emacs;
2. Custom installed python before system python;
3. Renamed vm (ubuntu server) to cardinal;
4. New latex commands.