New feature: searchable repos. Initial data model; user and repo.