tool: add makefile for building rumpkernel tools

The rumpkernel tools are used within the Genode OS Framework tool chain.