Give less generic names to global library option arrays
doc/print_options: Move options headers to a saner place
build: Add _Pragma macro to disable deprecated declaration warnings
Disable deprecation warnings for cases where a replacement is available