log tests/cffi.urs

age author description
2009-04-30 Adam Chlipala C FFI compiler options