main function in server to ease profiling/debugging
use Redis bulk API to save on round-trip times

Seems to speed semanticizing up by a factor of 10, but it's hard
to tell when testing on a busy server.
Merge pull request #37 from larsmans/redis-multi

Use Redis multi API