FACES-2053 Remove HTML5Button, FacesButton, NodeMenuNav, and Overlay interfaces