Update AeroDoc to PicketLink 2.5.1 final