Question: git: How to split off library from project? filter-branch, subtree?