Merge pull request #491 from chrox/master

several crash fixes
One more setting to preserve in floating punctuation workaround
Merge pull request #492 from thotypous/master

One more setting to preserve in floating punctuation workaround
save highlight to pdf document
fix wrong xpointer when changing screen orientation
automatically set css according to file extention
even when embeded style sheet is on.
update koreader-base