Nasdaq to file paperwork with the SEC for 23-hour weekday trading.