new command line option: --time. it times how long it takes to get the
result