[doc RFA] Move python section to python.texi

[Eli Zaretskii]

> From: Doug Evans <xdje42@gmail.com>
> Date: Thu, 13 Feb 2014 19:47:17 -0800
> 
> This patch moves the Python section of the manual to its own file:
> python.texi.
> 
> This patch is purely a mechanical move, no editing has been done
> (beyond adding a copyright header to the top of python.texi).
> 
> 2014-02-13  Doug Evans  <xdje42@gmail.com>
> 
> 	doc/
> 	* Makefile.in (GDB_DOC_FILES): Add python.texi.
> 	* gdb.texinfo (Python): Moved to ...
> 	* python.texi: ... here.  New file.

OK.