0.3.4

New version release:
- Version increment;
- ChangeLog entries fix.
IndexCore.cpp: IndexCore::rebuildIndex: remove erroneous semicolon

IndexCore.cpp:497:27: error: if statement has empty body
[-Werror,-Wempty-body]
      if(fileName.empty());
Md5.cpp: Md5::commitImpl: dereference Context pointer

Md5.cpp:210:25: error: 'memset' call operates on objects of type
'Deepsolver::Md5::Context' while the size is based on a different type
'Deepsolver::Md5::Context *' [-Werror,-Wsizeof-pointer-memaccess]
RpmTransaction.cpp: RpmTransaction::process: avoid int-to-pointer-cast warning

RpmTransaction.cpp:83:50: error: cast to 'void *' from smaller integer
type 'int' [-Werror,-Wint-to-pointer-cast]
LibMinisatSolver.cpp: LibMinisatSolver::m_nextFreeVar is now size_t

LibMinisatSolver.cpp:148:24: error: comparison between signed and
unsigned integer expressions [-Werror=sign-compare]
lib/deepsolver/Pkg.h: PkgBase::designation: add return

In file included from ../../lib/deepsolver/deepsolver.h:30:
../../lib/deepsolver/Pkg.h:199:5: error: control reaches end of non-void
function [-Werror,-Wreturn-type]
Intermediate commit:
- New reference-counting solver approach is introduced (but needs for  further debugging);
- Deepsolver::Solver and Deepsolver::Sat namespaces is introduced;
- No more ProvideMap and InstallReferences classes;
- PkgScopeMetadata class is introduced;
- A lot of other minor changes.
Minor forgotten compilation fix
Intermediate commit:
- Significant improvements and a lot of fixes for solver;
- C++ 11 compliant memory management (mostly through std::auto_ptr<> replacement with std::shared_ptr<>);
- ds-snapshot gets --ids parameter to print internal package IDs;
- No more compilation warnings.
Solver improvements:
- SAT builder gets pre-SAT optimization.
Solver improvements:
- New SatBuilder with deep branch prune approach;
- SAT validity checking added.
Intermediate commit:
- Minor bug fixes;
- Additional debug tools.
Solver improvements:
- New updates heuristic;
- Better processing of uninstallable and unremovable packages in SatBuilder.
Solver improvements:
- The checking that the set of variables is correct at all stages
  according to constructed equation;
- Filtering now traks one more case when dependent package is removed
  since there are no replacements.
Towards general solver testing:
- OsIntegrity class for package set validity control  added;
- system-imitation test added;
- Error messages test added;
- DeepsolverException class renamed to AbstractException;
- ExceptionVisitor class added;
- No more error messages construction in programs/Message class,
  they go to lib/ExceptionMessagesEn and now based  on ExceptionVisitor;
- No more particular exception catches inside of command line tools code;
- Partial exception messages texts clean up;
- exceptions.cpp added for getMessage() methods (you may think of deep exceptions.h restructuring);
- New error messages storing for ConfigFileException and ConfigException inside of classes themselves;
- Dichotomy and Doubling classes go to utils.h;
- Directory::isExist method moved to Directory::exists;
- OperationCore::fetchIndices method moved OperationCore::fetchMetadata;
- Pkg and NamedPkgRel classes various improvements;
- A plenty of Doxygen comments fixes.