Added easily uncommentable link to OWL API for checking snapshots.
*reasoner-progress-monitor* now stored on an atom.

Previously, this was stored directly in a var; while this made changing within
a binding form straight forward, changing within the REPL was harder. Changing
to an atom changes the weight of this compromise; binding forms must now use
an atom, while REPL can use the reset! function call.
Log updates.