Rename definitions dir option back to "definitions-dir"

It was accidentally renamed to "definitions_dir" during the port to Gli.