Generate a doctype string for a given HTML version and variant