added modular Groebner basis computation for REDUCE
Added TODOs
added some TODOs, added test for FA_Q_dp_SOL
added beginning of template for FA_Q_dp_sol for singular