Building better brain collaboration online – despite scientific squabbles, the decade-long Human Brain Project brought measurable success to neuroscience collaboration