polyml: 5.5

Update PolyML to 5.5 (released December 2012).