This modifies `tapasco-build-libs` to make the kernel module inside the
build directory of the tapasco workspace instead of the repository where
the source code is located.
Also, the scripts to load a bitstream are changed to use the new path
for the kernel object.