Dynamic vs Shared library

[MFraters]

@bangerth suggested in #736 that compiling the world builder as a shared library might have some advantages, such as shorter linking times. The disadvantage I can see is that the executables are less self-contained. We could also provide both through a cmake variable.

[tjhei]

I don't feel strongly either way. Some libraries offer both options (but that makes things more complex).