Implemented a grammar transformation to get rid of epsilon productions.

Thanks for the algorithm described in Introduction to theory of computation,
M. Sipser, 2ed, p109, for being the only reference I found which explicitly
mention one important implementation detail (never add an epsilon production
that was already removed).