Which PDF viewer can take input from stdin?