sim: avoid installing headers when there is no sim

If we aren't building any sims, don't install the sim headers as they
won't be useful to anyone.