Completed version 1.3.

repository now contains compiled binaries of previous versions to
allow for exactly reproducing previously obtained results.