Update various files to oasis 0.3.0
remove doc target from _oasis, regen setup.ml
Change how clock resolution is computed from average nonzero clock diff to minimum nonzero clock diff
Update benchplot to updated Archimedes API