Simplify skype urgent script
Add coq-syntax
Add haskeline config
Add PATH to zshenv
Tweak systemd configuration