Renames the box to devbox

Since it has so many differences to the heroku box it doesn't have sense to
share a common name. DevBox it's more precise on what it does.
Renames box