Changed the file extension for saving and loading.
Merge branch 'debian' of https://github.com/KanoComputing/sonic-pi into debian