Dockerfiles for Savant flavor of AProx