NET-SYNTHESIS: a software for synthesis, inference and simplification of signal transduction networks