Installation scripts for docker on debian