#3 Specify PI name for stats

Currently the PI name is hard-coded (as my name). This should be generalized, allowing the PI name to be provided either as: - configuration entry in `config.rkt` - command line argument The first option is simplest. It also probably makes more sense, from the likely use-case of this tool as a personal database of proposals.