Build Openlibm with Mini-OS CFLAGS

In particular, use -mno-red-zone on x86_64.
Merge pull request #10 from talex5/xen_cflags

Build Openlibm with Mini-OS CFLAGS