Fix JavaDoc typos.
Add Texinfo documentation.
Add Makefile to build and clean the Texinfo documentation.
Remove Makefile and version.texi because they will be automatically generated by Automake.
Add Autotools-generated files to .gitignore.
Add Autotools bootstrap script.
Add Autotools scripts.
Add information about Texinfo documentation to README.md.
Bump v. 0.3.1 in pom.xml.
Add automatically generated Texinfo files to .gitignore.
Update Overview.
Merge branch 'hotfix/0.3.1'