flyspeck: add smt2 files
flyspeck: add how to generate smt2
flyspeck: add README.md
README.md: update to add flyspeck
README.md: add instruction on how to add benchmarks
microfluidics: add files
fixup README.md
microfluidics: add Makefile
add Makefiles