Some minor changes

New filetypes to open in scripter plugin. Music player now shows elapsed
time in a cool way.