remove devbox (now in github:koelnconcert/devbox)