Set optimization to -O3
Add note about enable-double-precision for openode