Added add_users.py, a simple script to add local users to remote
servers. -- 2013-06-28