Fix p4est configuration

This is a respin of Matthias' work, adding just a couple of sentences of documentation. Apologies for being overly anal and not just doing the work myself.