On Friday, option traders will face something unprecedented: A monthly options-expiration event coming one day after a holiday when major U.S. stock exchanges will have been closed for business.