Solidity Tests names are now more consistent

 - File names and Boost Test Suite have the same name now for
   every solidity Test file, so that there is no need to guess or check
   when you want to run a specific suite from the command line