[Initial import of bindings to C's math.h
Don Stewart <dons@galois.com>**20080313044158] 
[portability
Don Stewart <dons@galois.com>**20080313044442] 
[simple build type
Don Stewart <dons@galois.com>**20080313044830] 
[tweaks
Don Stewart <dons@galois.com>**20080313044920] 
[some new functions
Don Stewart <dons@galois.com>**20080313173840] 
[fill out math.h functions
Don Stewart <dons@galois.com>**20080313175311] 
[more functions from math.h
Don Stewart <dons@galois.com>**20080314171805] 
[bump version
Don Stewart <dons@galois.com>**20080314171821] 
[more functions
Don Stewart <dons@galois.com>**20080315001609]