Set a default extension for the sessions

If we're going to have R automagically
connect with the Gator, we can set the
file extension for the file, that
gets synced back using Google Drive.