* mini/datalog_minic.ml: start
* tests/mini/pointer.c: works! basic datalog for assign, assign_deref, assign_address
Merge branch 'master' of github.com:facebook/pfff