Include HISTORY in documentation
Update version number and HISTORY