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