stumpwm: update and refactoring

This commit updates the stumpwm to version 0.9.8. Futhermore, it
refactors the expression quite a lot:

* stumpwm has been moved from lisp modules to window-managers.
* stumpwm has been added to the window managers NixOS knows about, this
  enables the user to add stumpwm as a default window manager in his
  NixOS configuration like with Xmonad or i3.
* the package has been split into stumpwm and stumpwmContrib. This is
  due to the fact that development of stumpwm and its extension modules
  has been split into two repositories. As of today, the release is the
  last one before this split. This split into two packages only reflect
  those upcoming upstream changes already.

It is planned to make the addition of the extension modules voluntarily,
like with Xmonads option "enableContribAndExtras". Furthermore it might
be possible to add an option to compile stumpwm with clisp instead of
sbcl.
stumpwm: removed from lisp-packages.
pythonPackages.cvxopt: added package
Adds the CC-BY-SA-3.0 license
tagainijisho: new derivation

Tagaini Jisho is a free, open-source Japanese dictionary and kanji
lookup tool that aims at becoming your Japanese study assistant.

Homepage: http://www.tagaini.net/
seeks: upgrade and add optional seeks_confDir
seeks: nixos module
Merge pull request #4387 from 1126/refactor-stumpwm

stumpwm: update and refactoring
Merge pull request #4503 from vbgl/tagaini

Adds Tagaini Jisho
thc-hydra: fix download url
Adding mailsend tool
help2man: update from 1.46.3 to 1.46.4
Update broadcom-sta and fix for new kernels
texlive: Updated to latest release 2014.20140927
Revert "tagainijisho: new derivation"

This reverts commit d62b63d3190f46ae75b0dbbbc42cd2b450c4ba65.

Fails to download dependencies. See http://hydra.nixos.org/build/15845724
python: make 2.6 and 2.7 expr similar, introduce includeModules

When includeModules is true, python is built with all optional modules
as part of derivation.
pythonFull -> python with all modules, pythonFullWithPkgs -> buildEnv
lttng: update to latest (2.4.1 -> 2.5.0)

- This unbreaks lttng linux kernel modules[1]
- lttng-tools has grown a dependency on libxml2

[1]: Build tested (for default NixOS Linux kernel) and run tested with
lttng-sessiond (it successfully loads kernel modules).
Merge pull request #4400 from matejc/seeksservice

seeks: update and write nixos module
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer