Updated the Kiama library to the latest version.