Now pass t_enable and t_0 (the firing time) to transitions when checking whether they are enabled. If te<t0, then they were already enabled.
Modified install docs and comments in sir_mixed.cpp to make more sense with current system for compiling and building types.