Added Numberjack Integration

I’ve added the Numberjack library which calls a Mistral solver. This
does most of the heavy lifting involved with the optimization. Things
should still be tightened up a bit, but I’m fairly confident in the
solutions.