Add command line flag to print webppl version