add manuals.opts, no_doxygen.opts, no_optimization.opts

Change-Id: Ief9e6865eaff587dbd1f1f73f2fecac470e77a81
diff --git a/no_optimization.opts b/no_optimization.opts
new file mode 100644
index 0000000..3d85054
--- /dev/null
+++ b/no_optimization.opts
@@ -0,0 +1 @@
+ALL CFLAGS="-g -O0"