Added script get_users.py to query and save a range of user ids from GitHub