A PAAS platform based on docker