log INSTALL @ 1580:7f2be495dff6 coverity

age author description
Thu, 01 Mar 2018 22:12:30 +0800 Matt Johnston mention localoptions.h being build directory, fix underscore in CHANGES
Tue, 20 Feb 2018 19:29:55 +0800 Matt Johnston rename default_options.h.in in docs too
Wed, 14 Feb 2018 00:24:32 +0800 Matt Johnston Update build instructions for localoptions, and tidy