added symbolic module to README
added symbolic module to Travis CI