Now checking binary co&pre - requisites
Changed errors protocol in constraint checker
Added view to check student programs constraints
Added passed attributes to year model
Added validation model (To manage validation of student programs)
StudentProgram are now de-validated when modified
StudentProgram are now de-validated when modified
Updated toto list