Fix all URLs to the NuttX repository

ChangeLog

@@ -11605,4 +11605,5 @@
 	* include/nuttx/timer/rtc.h and drivers/timers/rtc.c:  Simplify the RTC
 	  interface.  The old interface was way to complex and was not fully
 	  implemented anywhere (2016-04-02).
+	* Moved NuttX repository to https://bitbucket.org/nuttx/nuttx (2016-04-06).
 

README.txt

@@ -168,7 +168,7 @@ Downloading from Repositories
     instructions for cloning the core NuttX RTOS (corresponding to the nuttx
     tarball discussed above)::
 
-      git clone https://bitbucket.org/patacongo/nuttx.git nuttx
+      git clone https://bitbucket.org/nuttx/nuttx.git nuttx
 
     And the semi-optional apps/ application directory and be cloned like:
 

tools/kconfig2html.c

@@ -2634,7 +2634,7 @@ int main(int argc, char **argv, char **envp)
   body("</p>\n");
   body("<p>\n");
   body("  <b>Maintenance Note</b>.\n");
-  body("  This documentation was auto-generated using the <a href=\"https://bitbucket.org/patacongo/nuttx/src/master/tools/kconfig2html.c\">kconfig2html</a> tool\n");
+  body("  This documentation was auto-generated using the <a href=\"https://bitbucket.org/nuttx/nuttx/src/master/tools/kconfig2html.c\">kconfig2html</a> tool\n");
   body("  That tool analyzes the NuttX <code>Kconfig</code> files and generates this HTML document.\n");
   body("  This HTML document file should not be edited manually.\n");
   body("  In order to make changes to this document, you should instead modify the <code>Kconfig</code> file(s) that were used to generated this document and then execute the <code>kconfig2html</code> again to regenerate the HTML document file.\n");