add convert_ampl.py: convert ampl expanded output to lp file