update readme syntax
put LP format line in test_generator.py
make converter class to convert from LP format to KP format