Is there any way to extract content of a pdf from bash? (I have a big folder of academic papers, which sadly have labels like "1010.3423.pdf". I'd like to write a bash script to name them more sensibly, which involves, say googling the first few lines.)