See the file readme.html for more details on software development,
compilation, and installation.