moved devel Dockerfile to allow autobuilding