implement missing option to include EDB in AnnotatedGroundProgram
Merge branch 'master' of https://github.com/hexhex/core