Goal: Bring the currently working solver in a nice shape. That means:

• It should be easy to extend (e.g. with new and better pruning)
• User should control the program (e.gt. by command line arguments)
• Start adding tests