Add initial Sage 5.12 docker file