Factorization, abc, upgrades

new factorization algorithm
upgraded existing simplifying alg.
included abc logic synthesys system
upgraded logger