A simple XML module for Idris.