Make InternetCE a real library

For now, InternetCE is directly compiled and linked into the user binary. However, InternetCE is getting bigger and bigger (~30Kio), and prevents the user from making big programs.

I understand that LibLoad can't be used with C code libraries, so I'm thinking of a way to use the intermediate .src code generated by the toolchain with LibLoad.