libbarrelfish: Adjust libbarrelfish to new terminal API and remove old API.