Move example_defacto.jl back into src/
Updates README significantly