Moving is4c-web into a separate git repo