Added python2-pygments + lastest minted.sty