Alternative shell in console operation

Add an optional argument to the console operation, which defines the shell in which the following commands should be run. This could also be used to start a docker container and then execute commands inside.

<!-- console docker run --rm --name adf ubuntu /bin/bash -c "sleep 600"
```
```
-->
<!-- console docker exec -it adf /bin/bash"
```
$ ls
```
-->