rotary encoder with push button based on work I found elswhere.

Dependents:   Vario_101_407mini

shortlog@ef2f1bbeb8e1: not found in manifest