rename symbolic -> core
update readme

I had to install these on a relatively fresh system
upgrade to zmq4
arbitrary static-typed matrix/ode example