Upgrade kiama to 1.5.1.

Upgrade kiama to 1.5.1.
    
This version of kiama fixes #279.

Note: This bumps initial request to the release version of kiama.