Change ogg extension to ogv

[psavery]

"ogv" is the preferred extension for ogg video files.

This won't affect functionality too much, however, since the ParaView nightlies and releases will not be using ogv.

[cquammen]

LGTM