Write instructions to install and run rddlsim and glutton