Finale music notation software to shut down operations; Nicholas Christopher to rejoin "Hamilton."