Misc. support tools for RTEMS workspaces.

install-if-change
    Smart install script that also can append suffixes as it
    installs (suffixes used for debug and profile variants).
    Requires bash or ksh.