fix debian packaging: Liberty tools were missing, and the tutorial too.