Extensions for the standard Scala XML library