Add bartolin to CREDITS