sci-mathematics/z3-4.3.1: new ebuild
sci-mathematics/z3-4.3.1: using python-r1, remove useless dependency
sci-mathematics/z3-4.3.1: using jlec's snapshot
sci-mathematics/z3-4.3.1: add z3-9999 using git-3
sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some error
Add MSR-LA

Signed-off-by: Justin Lecher <jlec@gentoo.org>
sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use EPYTHON instead of a direct python call; check for openmp compatibility of the c++ compiler; add USE=gmp; drop unnecessary eclass; add missing metadata.xml

Package-Manager: portage-2.2.7
Merge branch 'master' into zhou13-master

* master: (25 commits)
  xdrfile got added to gx86
  hpl: fix build with MKL blas and/or lapack libraries
  [sci-visualization/yt] provide workaround for latest Forthon
  [sci-visualization/yt] fix slots in CDEPEND
  Tentative prefixification
  Version bump: mne-python 0.7
  Masked live yt
  dev-python/Forthon: Version bump, keyworded for prefix
  [sci-visualization/yt] version bump
  sci-physics/geant-vmc: Version bump
  dev-python/emcee: Version bump
  sci-chemistry/coot: Update patch for current HEAD
  Update PyQtGraph to 0.9.8. Support of python 3.3
  sci-physics/lammps-20131123: Version bump.
  sys-cluster/charm-6.6.0-rc1: Reorganized some variables.
  sci-physics/tauola: new ebuild added
  Add 1 more chunk for multifit/Makefile.am
  ebuild cleanup
  sci-misc/openfst: version bump, patch from Kaldi
  sci-physics/mc-tester: ebuild improvements, thanks to jlec
  ...