Renames DeFacto git repo to DeFacto.jl