Change HDD to hanharr
Do not use startx anymore
Simplify skype urgent script
Add coq-syntax
Add haskeline config
Add PATH to zshenv
Tweak systemd configuration
Merge branch 'master' into zaalbar