Few bug fixes

- compose checks input/output symbol table compatibility
- do not link against zlib (fixes #12)
- acceptors are drawn with simple labels ("a" instead of "a:a")