Factor out repeated Ref key string generation code.

In src/core/obj.js, we convert a Ref to a string to index into a table like
this: 'R1.0'.  This conversion is repeated numerous times.

This patch factors out the conversion into a new function.
Ref.prototype.toString().
Merge pull request #4973 from nnethercote/better-ref-keys

Factor out repeated Ref key string generation code.
SVG Viewer example demo
Merge pull request #4979 from pramodhkp/svg-v3

SVG Viewer Example demo
Misc UI improvements for the SVG Viewer
Fixes SVG transforms on restore
Merge pull request #4981 from yurydelendik/svg1

Misc SVG Viewer example fixes
Fix code style issues in pdf_find_controller.js and build strings more efficiently
Implement text normalization for page content and queries
Use null instead of [] for ops with no args.

This reduces peak RSS on one test file from ~600 to ~560 MiB.
Merge pull request #4987 from timvandermeij/text-search-refactoring

Refactoring PDF find controller and implementing page content and query normalization
Merge pull request #4982 from nnethercote/use-null-for-zero-args

Use null instead of [] for ops with no args.