Added code pretty printer script

pretty-print-code

@@ -0,0 +1,19 @@
+#!/bin/sh
+
+if [ $# -lt 3 ] ; then
+    echo "pretty-print-code lang output input"
+    exit
+fi
+
+LANGUAGE=$1
+shift
+OUTPUTPDF=$1
+shift
+INPUT=$1
+shift
+
+OUTPUTPS=$(basename $OUTPUTPDF .pdf).ps
+
+a2ps -1rCB -l 120 --center-title='$n' --right-footer="%Q" --borders=no -E$LANGUAGE -o $OUTPUTPS $INPUT
+ps2pdf $OUTPUTPS
+rm $OUTPUTPS