Add MELD flag and -framework for Mac OS X
Fix issue with tuple removal from database
Add database consistency checker to blockticks
Update type of predicates in ends2