remove some useless things from 3rdparty/boost

Remove

1/ the libs/ directory

2/ the CMakeList.txt file, since it only mentions this directory

3/ the cstdint.hpp file in extract.sh, since we do not use this header
   file directly (should not make a difference, boost uses it in other
   places).

Update boost/Makefile.am accordingly.

3rdparty/boost/CMakeLists.txt

@@ -1,8 +0,0 @@
-# This file is part of LyX, the document processor.
-# Licence details can be found in the file COPYING.
-#
-# Copyright (c) 2006-2011 Peter Kümmel, <syntheticpp@gmx.net>
-#
-
-add_subdirectory(libs) 
-

3rdparty/boost/Makefile.am

@@ -1,12 +1,5 @@
 include $(top_srcdir)/config/common.am
 
 EXTRA_DIST = boost \
-	CMakeLists.txt \
-	LICENSE_1_0.txt \
-	libs/CMakeLists.txt \
-	libs/regex/CMakeLists.txt \
-	libs/regex/src/CMakeLists.txt
-
-AM_CPPFLAGS += -DBOOST_USER_CONFIG="<config.h>" 
-AM_CPPFLAGS +=  $(BOOST_INCLUDES)
+	LICENSE_1_0.txt
 

3rdparty/boost/extract.sh

@@ -23,7 +23,6 @@ bcp --boost=$1 \
 	boost/any.hpp \
 	boost/assert.hpp \
 	boost/crc.hpp \
-	boost/cstdint.hpp \
 	boost/lexical_cast.hpp \
 	boost/signals2.hpp \
 	boost/signals2/connection.hpp \

3rdparty/boost/libs/README

@@ -1 +0,0 @@
-This is just a placeholder. We will put boost cpp files here when we need them.

3rdparty/boost/libs/regex/src/internals.hpp

@@ -1,35 +0,0 @@
-/*
- *
- * Copyright (c) 2011
- * John Maddock
- *
- * Use, modification and distribution are subject to the 
- * Boost Software License, Version 1.0. (See accompanying file 
- * LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- *
- */
-
-#ifndef BOOST_REGEX_SRC_INTERNALS_HPP
-#define BOOST_REGEX_SRC_INTERNALS_HPP
-
-enum
-{
-   char_class_space=1<<0, 
-   char_class_print=1<<1, 
-   char_class_cntrl=1<<2, 
-   char_class_upper=1<<3, 
-   char_class_lower=1<<4,
-   char_class_alpha=1<<5, 
-   char_class_digit=1<<6, 
-   char_class_punct=1<<7, 
-   char_class_xdigit=1<<8,
-   char_class_alnum=char_class_alpha|char_class_digit, 
-   char_class_graph=char_class_alnum|char_class_punct,
-   char_class_blank=1<<9,
-   char_class_word=1<<10,
-   char_class_unicode=1<<11,
-   char_class_horizontal=1<<12,
-   char_class_vertical=1<<13
-};
-
-#endif // BOOST_REGEX_SRC_INTERNALS_HPP