Install fenics-* commands in /usr

[Tormod Landet]

The current FEniCS Docker dev-env image works great when converted to Singularity. Developing and building FEniCS inside Singularity is hence quite easy, it is how I do all my DOLFIN development.

One hiccup is that files in /home/fenics/bin are not easily accessible. It would be great if the developer scripts where installed under /usr/bin or /usr/local/bin instead.

This is (sort of) a follow up to issue #60

[Jack Hale]

They should be going into /usr/local/bin if you use the provided Singularity file to generate the image:

https://bitbucket.org/fenics-project/docker/src/e0eb9d156620ff9096061f7e9d843c1c9d9b4467/dockerfiles/dev-env/Singularity?at=master&fileviewer=file-view-default

[Tormod Landet]

It would be slightly easier to build Singularity images on top of the official ones if the files were already in /usr/local to begin with, but I guess any custom images can copy the files into /usr/local/bin on build time in their Singularity file definition. I will do that to mine

[Jack Hale]

We'll revisit the fenics user design choice sometime in the future. At the time people were a bit freaked out by the root thing, so perhaps now people are used to Docker it is not necessary anymore.