Fix for buffer overflow problem with long filenames when setting up the LevelDB
Rename devicequery.cpp to device_query.cpp

Match filename and usage
Merge pull request #72 from sguada/solver_device_id

Rename devicequery.cpp to device_query.cpp
Merge pull request #70 from petewarden/buffer-overflow

Fix for buffer overflow problem with long filenames when setting up the LevelDB
added early stopping termination criterion