Upgrade kiama to 1.5.1-SNAPSHOT.

This is a somewhat short-term change, until the next
release of kiama published. This version fixes the
issue raised in #279.

Fixes #279.