Edited credits and split off into separate tex file, credits.tex, which should ideally be edited whenever CREDITS.md is edited.