do not add blank lines or repeats to the readline history
improved performance of Value::to_string
added RATEESTIMATOR and COUNTER
the COUNTER is a 16/32 bit digital input
the RATEESTIMATOR is a builtin machine to convert a series of position readings to a rate in seconds