Further update, after getting past the crash I did some cleanup work, making the paths in debian/copyright (including excluded files) match the new upstream directory structure. The new version sonic-pi_3.1.0~repack~test2-1 is available at http://plugwash.raspbian.org/sonic-pi/