Updated bmc for latest version of smten.
Updated nqueens for latest version of smten.
Sort the shampi unit tests when running.

Otherwise they might not match the expected result, just because they are
out of order.
Cleaned up shampi utilities and wrote a nice README file.