Updated Kiama dependency to 1.5.1