Git: Added git aliases pl = pull and ps = push.
Git: Changed alias 'l' to print a one-line log containing short-hash, gpg-status, date, author and message.