Bump version number to 17.0.
Doc update. Convert programmer's guide to HTML.