[PR#482] - Update ARP cache from gratuitous ARP packets v2 (#974)

* Let the TCP timer becomes expired in stead of active

* Renamed parameter of function vIPSetTCPTimerExpiredState

* Adapt unit tests to use the new name and field

* Change bActive to bExpired

* Empty commit

* Fix spell check

* When a gratuitous ARP is received, use it to update the ARP cache entry

* wip

* adding comments on matching endpoint for Gratuitous ARP

* adding unit tests for Gratuitous ARP processing, fix formatting

* fix build

* fix formatting

* fix formatting

* fic CBMC

* adding review changes

---------

Co-authored-by: Hein Tibosch <[email protected]>
Co-authored-by: Hein Tibosch <[email protected]>
Co-authored-by: Aniruddha Kanhere <[email protected]>