Add flags fpi-functions and test-timeout
Transform GHC bools to SMT bools
Add . to default include paths, and travis quick spec with right commit