Version used for generation of the paper submitted around 2017-03.

This version was used to generate timing data, but is somewhat less than bug-free. Use with caution.