Remove ppx_tools, fix dependencies of ppx_deriving-android.