Merge branch 'micro' into minor

* micro:
  post-release: micro version bump to 1.14.1a devel version
  release: stable micro release 1.14.1
  HACKING: minor clarification
  tests: make install-info-dir.sh print more debugging info
  tests: remove too-brittle test tap-realtime.sh
  maintainer: am-ft: add option to cater to clock skews
  sync: update INSTALL, config.guess and config.sub from upstream
  TAP driver: cosmetic fixes

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>

diff --cc configure.ac
Simple merge