The move to revoke Pluto's status as a planet is part of a longstanding feud between professional astronomers and Disney animators.