Reconnect to container

[dgarijo]

suggested by @brandomr
If I am working on MIC and my connection to the container gets reset (e.g., I am working on a server and my connection drops) it would be nice to reconnect to the container I had started working on. You can do it by doing

docker ps selecting the right name and docker exec -it <container name> /bin/bash

But it would be nice if mic helped doing this

[issue-label-bot]

Issue-Label Bot is automatically applying the label feature_request to this issue, with a confidence of 0.96. Please mark this comment with 👍 or 👎 to give our bot feedback!

Links: app homepage, dashboard and code for this bot.

[mosoriob]

Merged #327