release-2020-06-22

Making a new release since moving build-interceptor to github. I could not figure out how to make the old tarballs into releases on github, so I am just making a new one so that we have a release. No substantial changes other than that the documentation has been converted to Asciidoc so that github can find it and display it in the web page.