Make platform_type filter also affect the list of options displayed by the platform_name filter dropdown list on the instruments page
ie if the user selects "Slocum Glider G2" the platform_name filter dropdown should only display platforms of type "Slocum Glider G2" rather than showing a complete list of all platforms as it does now.