Allow multiple executable names for a given Executable. Fixes ticket:80, although uncovered ticket:81
Allow multiple executable names for a given Executable. Fixes ticket:80, although uncovered ticket:81

maxalbert/sumatra,apdavison/sumatra,open-research/sumatra,dpad/sumatra,open-research/sumatra,open-research/sumatra,babsey/sumatra,babsey/sumatra,apdavison/sumatra,apdavison/sumatra,babsey/sumatra,maxalbert/sumatra,babsey/sumatra,open-research/sumatra,dpad/sumatra,dpad/sumatra,maxalbert/sumatra,babsey/sumatra,maxalbert/sumatra,apdavison/sumatra,dpad/sumatra,apdavison/sumatra,dpad/sumatra,open-research/sumatra,maxalbert/sumatra