make regression-test print the HOL rev and machine info