dev.rb should use exec so that error messages are clear and exit status is correct

- the way that it is written now hides errors that occur when sem-apply
  is not installed, or not on the user's PATH
Merge pull request #8 from haywood/master

dev.rb should use exec so that error messages are clear and exit status ...