Docker dev environment for PolicyStat