Added file extension for exports.

This makes the export window suggest the right file extension:

![image](https://cloud.githubusercontent.com/assets/1319906/5495408/476ecb6e-86b2-11e4-8bd6-b310b0c2730a.png)