Added documentation and made devbox the default