Command line args for webppl run and compile scripts