adds era logging to maxwalksat

This needs to be abstracted out, but.

Also, takes out magic numbers for era % era_length
adds maxwalksat
pdfs turned in today

only half the assignment ¯\_(ツ)_/¯
fixes char that doesn't render in a2ps
cleaning up
cleans up namespaces of witschey.{models,searchers}