Update to more recent versions of Kiama and test libraries