added install commands for baptop and bapbuild.
bapbuild now requires only core_kernel.