Docker
We should have a docker package for vcsn. The build farm should update this package. The VM we provide should use it too. And finally, vcsn-sandbox should use it.
We should have a docker package for vcsn. The build farm should update this package. The VM we provide should use it too. And finally, vcsn-sandbox should use it.