.bashrc: Add function "pman"