Merge branch 'release/0.3'
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.
Add the possibility of checking 6-digit to 9-digit passwords.
Update Overview.
Merge branch 'hotfix/0.3.1' into develop

Conflicts:
	pom.xml