Implement pixel doubling with a shader.

Todo: Implement it using sprite scaling; shader isn't necessary for
that.