grateful dead lyricist, internet pioneer john perry barlow dead at 70