北急南北線延伸線の新駅名「箕面萱野」「箕面船場阪大前」に決定　2020年開業予定（関連情報）