API and build change and fix summaries. Doc correctsions
and/or changes are not mentioned here; see the commit messages.
+2020 February 6; version 3.1.2
+ Fix disconnection detection bug in interface to SI95.
+
2020 January 31; verison 3.1.1
Allow route table thread logging to be completely disabled
when logging is turned off.