Andrei Postnikov: computer tools to download