Merge pull request #2 from JoFrhwld/dev

merge progress bar
use os.name instead of relying on user config
global praatname
behavior when os can't be identified
Merge pull request #5 from scjs/master

os-specific changes use os.name instead of user-defined config option