Turn 'platform_env.h' into a private header

This patch removes 'platform_env.h' from the public API headers because
this header was not part of the API anyway.
Remove 'Native_lock' type from 'native_types.h'