[userman] replace section 'Limitations of E-ACSL Monitoring Libraries' by 'Supported Systems' + improved index