Restructure directory layout (again)

To be able to push the artifacts to Maven central, we need to rename them. At the same time, we can take the opportunity to restructure the directory layout again so that the Java artifacts are separated from the documentation artifacts.