auto-committed by dist.ini
v1.16
auto-committed by dist.ini
Pull INSTALL file back in from build (addresses #28)
v1.17

  * Modify dist.ini to pull the INSTALL file from the build back into
    the repo (addresses #28)
catching up on release archiving