People who buy property in Miami-Dade County will soon be able to look up important financial and governing documents in a public online library.