Add WMTS pixelRatio option and wmts-hidpi example

A pixelRatio defined as `ol.source.Tile` option specifies the pixel ratio
provided by the server. With this change, HiDPI tile sources are finally
possible. The WMTS implementation is a proof of concept.