Rough BaseX setup procedure (so far)

This document and the implementation details therein will change a lot
before we hit production