improve genhtml: specify precision from command line or config file