scripts/docker: A docker.io file for dOSEK

Change-Id: Iadd05e1afbc41eb47e24899fe29798179896eb40