remove work directory from repo

the work directory was accidentally added to the git repo. this
removes it so that clean git commits can happen.