Update version number

Update version number

Release 20190607

Update version number

Update version number

Release 20181028

Update version number

Update Makefile

Add missing release files, add `doc_html` to `all` target, make
formatting more consistent.

Update version number

Update version number