Allow configuring the server #62
Description
Currently there is no easy way of sending configuration flags to the Prusti server. It would be useful to allow that, to enable for example the DUMP_VIPER_PROGRAM flag that dumps a valid Viper program to disk.