added release 1.3.0 of utop