Changed configure.py so that OpenDSA will be built by default if the build_ODSA option is omitted