Bash plugin fixes/enhancements + Docker IaaS (1st version)

Bash plugin: closes #98 and fixes #123 .
Docker IaaS :  closes #56 .