generate_key_file script

Generates secret_keys.py which contains the crypto keys for sessions and CSRF.

Run on the command line, e.g.:

$ python generate_key_file.py