I ran into this problem yesterday and found two good-looking solutions, albeit both expensive.
1. NTI makes a product called
DP-HP-MNTR-SRC DisplayPort Hotplug Maintainer
that looks to be specifically focused on this problem, lists for $150, but found it somewhat less than that on several...