Changed default P4 Server version to r25.1
* Updated get_helix_binaries.sh and *.json files i helix_binaries.
* Updated sdp_upgrae.sh.
* Updated Docker test suite:
- Updated test_SDP.py to use r25.1.
- Updated test_Upgrade.py to install r24.2 and then upgrade to r25.1.