binding/f08: fix a few bugs

[hzhou]

Pull Request Description

Fix a few bugs revealed in PR #5067

• baseenvf90 test need account for MPI version 4 now
• SIZEOF_F77_INTEGER is no longer defined in configure
• MPI_Alltoallv need the same have as in MPI_Alltoallw when fint_size != cint_size

It fixes following test failures (they are previously xfailed via intel on osx and now it shows up via gcc-9):

summary_junit_xml. - ./f08/pt2pt/mprobef08 2 | 36 ms | 1
summary_junit_xml. - ./f08/pt2pt/pt2pt_largef08 | 0 ms | 1
summary_junit_xml. - ./f08/coll/vw_inplacef08 4 | 63 ms | 1
summary_junit_xml. - ./f08/coll/nonblocking_inpf08 4 | 43 ms | 1
summary_junit_xml. - ./f08/topo/dgraph_wgtf90 4 | 42 ms | 1
summary_junit_xml. - ./f08/init/baseenvf90 1 | 34 ms | 1

[skip warnings]

Author Checklist

• Provide Description
  Particularly focus on why, not what. Reference background, issues, test failures, xfail entries, etc.
• Commits Follow Good Practice
  Commits are self-contained and do not do two things at once.
  Commit message is of the form: module: short description
  Commit message explains what's in the commit.
• Passes All Tests
  Whitespace checker. Warnings test. Additional tests via comments.
• Contribution Agreement
  For non-Argonne authors, check contribution agreement.
  If necessary, request an explicit comment from your companies PR approval manager.

[hzhou]

test:mpich/ch3/tcp
test:mpich/ch4/ofi

Nearly all ✔️ 1 osx failure is being fixed in #5682

[raffenet]

what is the difference between kind == POLYFUNCTION and kind.startswith('POLY')?

[hzhou]

For latter condition includes the former. We need single POLYFUNCTION out because it is not differentiated in the mappings between SMALL and BIG but they still need be generated for both since the actual function prototype is different between SMALL and BIG

[raffenet]

OK, I think I understand what you're saying. We need both prototypes because the integer kinds are different, even though the size of those kinds are the same. Small and big mappings only apply to functions where the integer kinds are of different sizes.