New github organization & repo

[Fredrik Johansson]

Hi all,

The main flint git repository has been migrated to https://github.com/flintlib/flint2

Also, antic is now located at https://github.com/flintlib/antic

Links to the old repositories should redirect automatically.

Any developers who want to be members of the flintlib organization should contact me.

Best,

Fredrik