Start a different attempt at making dbmcsa scale
New dbmcsa attempt
Add little max clique test program