Add option to install the tool

We can start thinking about installing the tool, so the user can call the `run-devel` script from any folder and doesn't need to keep the repository. I would change the name of the run-devel script, though. Possibilities are:
- `docker-dev-ws` (we can think about not constraining it to ROS)
- `docker-devel`
- `ros-dev-ws`
- `docker-ros-ws`
- `ros-ws`
- `ros-docker-dev`
- `ros-dev-docker`
