updated README
more options in detect_theories