In memory of James F. Crow (1916-2012), a life dedicated to population genetics; with an updated list of his publications