repo_sync_and_mail.py: Detect if repo_sync is already running

- requires psutils
repo_sync_and_mail: include the contents of English.dist for new pkgs in the e-mail
Merge branch 'master' of http://github.com/timsutton/scripts