refactor(filib): remove filib
test(nra): add more regression tests (thanks to Fedor)
feat(cmake): use ExternalProject to build capd-dynsys and filib++
checkpoint