add interface to Lily, a solver for LTL games
add interface to Lily, a solver for LTL games

closes #32
necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control