Include header files whose declarations are used
Support Z3
Add Jeroen Ketema (individual CLA)
Merge pull request #2 from jeroenk/header

Include header files whose declarations are used
Merge pull request #3 from jeroenk/z3

Support Z3
minor updates to reflect PCC's change, and a note about GCC <4.9
not working
lots of stuff was sitting in discussions between me and Peter, it
would be better to get some of that content into the repo
Add John Regehr (individual CLA)
Merge pull request #4 from regehr/readme-fix

minor updates to reflect PCC's change, and a note about GCC <4.9
Merge pull request #5 from regehr/add-todo-list

add file of TODO items
Fix small typo in the TODO file
just some notes I forgot to add earlier
Merge pull request #6 from regehr/doc-updates

just some notes I forgot to add earlier