Make 'dist' beautifully; complete rm_targets

The 'dist' target is made beautifully now and rm_targets schedules the
engine and the distribution package to be removed.