* tests/mini/Makefile: misc
* external/bddbddb/bddbddb-full.jar: new dependency!
* external/swiprolog/readme.txt: virtual dep
* h_program-lang/datalog_code.dtl: mostly port of datalog_code.dl
but to bddbddb datalog format
* .gitignore: