Added ABI compliance check for Wily and later. (For Vivid, we still use the symbols file for the time being.).

Approved by Pawel Stolowski, PS Jenkins bot.