Added some ODB options and fixed a minor bug

The bug was that ODB.cmake didn't correctly tell CMake which files it
would generate when OUTPUT_DIRECTORY was used.