Hammer PDF: An Intelligent PDF Reader for Scientific Papers