Autocomplete patches for 2.0.x branch

Hi Eduardo,

Here are all the patches we have to add to Alloy 2.0.x related to ACE AutoComplete and TST.

Thanks,