Add BoolMatrix semiring
Add *~ to .gitignore