Lemmy, an open-source federated Reddit alternative, gets funding for development