INF_EXT: update README for Infiniband extensions

See merge request rui.machado/gpi-2!32

Update version number to 1.4.0.

See merge request rui.machado/gpi-2!31

It is said, explicitly, they are an experimental available feature
which can be turn on by the user.

Add copyright notice from GASPI(_types) headers.

See merge request rui.machado/gpi-2!30

Gaspi header compliance

See merge request rui.machado/gpi-2!29

- to mimic GASPI Standard.

autogen: Fix a bashim

See merge request rui.machado/gpi-2!26

fix_inf_ext: disable, by default, the check/use of `verbs_exp.h`

See merge request rui.machado/gpi-2!28

Arcesio Castaneda Medina authored Oct 20, 2019 and Arcesio Castaneda Medina committed Oct 21, 2019

Remove bash `read` function from the script, thus there shouldn't no
problems to use it in system with `sh` but not `bash`.

MPI config.: Only substitute the include path if it is not empty

See merge request rui.machado/gpi-2!25

This a fix for a compilation error triggered by using in the
configuration step the MPI compiler wrappers and old gcc compilers.

pkg-config: Rename configuration file `libgpi.pc.in` -> `GPI2.pc.in`

See merge request rui.machado/gpi-2!23

README: Add autogen as first step in the configuration instructions

See merge request rui.machado/gpi-2!24

Remove (deprecated) GPI-2 threads tests

See merge request rui.machado/gpi-2!22

Some config fix

See merge request rui.machado/gpi-2!19

We are deprecating the gpi2 threads. This is another step in that
direction, before removing the implementation.

Issue 56

See merge request rui.machado/gpi-2!21

 Simplify common operations/definitions.

Included again for some reason in f1986d53

Main point: append correctly default C/FC options to those specified
by the user.