More keywords

Hello gallais,

thanks for making the MiniAgda-mode available!
I have added a few keywords for the highlighter.  Please pull.

--Andreas