Much faster clause adding for multi-threaded systems

We cache data and then add it in one go with multiple threads
Only one solver, so don't bother about adding the clause to all
Better readability and easier parsing
More standard way of using spaces
Some helper function for Linux time debugging for threads