Sonic Pi code for various songs - not necessarily correct!