Upgrade kiama to 1.5.1.

This version of kiama fixes #279.