save highlight into pdf document

and keep crengine updated.