removed grsec instructions, they are too complicated for us to maintain
renamed PGP key to securedrop.asc, and updated user interface in server_setup.sh