GitLab

thread_pool.  Previously, each separation oracle call was dispatched
to a thread individually.  This is inefficient when there are a whole
lot of samples (and thus separation oracle calls which need to be made).
So now entire batches of separation oracle calls are dispatched to
each thread.  This minimizes the thread switching and synchronization
overhead.

this component will be caught by the unit tests.

type_safe_union class to avoid a compiler bug in an older version of gcc.

if the PNG saving routine was #included.

This only happens if the user implements the separation oracle wrong.  In this
case I had the code setup to force the risk to zero but this just ends up
obscuring the fact that the user's separation oracle is incorrect.  So I'm
removing this check.  This should make debugging separation oracles a little
easier.

HTML pages are a little smaller.