FACES-2053 Remove HTML5Button, FacesButton, and NodeMenuNav interfaces