Quick XML parser with the Scala parser-combinators library