Remove vagrant dev environment #1860
Description
It doesn't make much sense to have two different development environments and it's hard to maintain them both. I decided to keep only the container one and improve it before switching to it completely.