CodeQL fails

[tshoang]

CodeQL currently uses Maven to compile the code. Since Rodin 3.8 was released, Rodin 3.7 was moved to "old" which causes the issue. As a result, we should not use version specific update site, but rather the composite update site for Rodin core, i.e., http://rodin-b-sharp.sourceforge.net/core-updates/