MOD ppa

included FEniCS PPA, still need to pull Ubuntu from my base image instead of Docker's standard one.