DPDK 1.3.1r3 released

The new release can be downloaded here:

	http://dpdk.org/browse/dpdk/tag/?id=v1.3.1r3

Changelog
- fixes for:
* KNI build with Linux 3.10
* tests build with GCC 4.8
* vmxnet3-usermap initialization
* rte_malloc dependency
* exiting with CONFIG_RTE_EAL_UNBIND_PORTS enabled
- enhancements:
* pause frame counters

Thomas