Added support for notif0/notif1 primitives
Merge pull request #8 from hansiglaser/master

Added support for notif0/notif1 primitives