A quick script to import bookmarks from Pinboard to Instapaper