Add XML tag highlighting to miami
Re-add NERDTree, on an opt-in basis