Make Google Docs export file formats configurable

[mabolek]

They are currently hard-coded, but some users may not want all formats available at all times and it should be possible to turn them off.