Meilleur traitement des fonctions forward declared.  Ajout d'un warning sur le nombre d'arguments d'une fonction externe, qui est actuellement limite par le back-end

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@124 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e