Added some picotcp scripts