Create branch use-utf8-in-docker-images
Sorry for the two 'create branch' commits. git svn branch
produced an error on the first creation,
so I deleted and re-recreated the branch to make sure everything's ok.
This MR:
- Adds the cpachecker executable to PATH in Docker images, so that users that enter the container can execute cpa.sh from anywhere
- Sets the locale to en_US.UTF-8, so that CPAchecker does not warn about an unexpected file encoding