added multi-select feature

- by pressing <Space> the user can now select one or more
  buildtargets in the Buildmenu. Those are highlighted. When
  pressing <CR>, all these targets are built
- initial version of that feature; not yet seriously tested!