Updated Debian installation docker script; Added procedures for Ubuntu and Linux Mint installation docker script