Makefile: make pretty for xsd
xsd: specify valid values for os attribute