Big rename: WSCP -> WCSP

Calvin originally thought the acronym for the project was "WSCP", but
it's actually "WCSP". Finally rename everything so it matches.