Allow specifying a core with an executable image.

There's no reason why this shouldn't work and tests show that it does
work.  So instead of disallowing it, just print a warning that it is
unusual.  Fred also said this should work; it's just a bit odd running
a 30MB executable with a 30MB core.