KDE 4.12.5

KDE 4.13のbuildは断念して，4.12.xに戻しました．とりあえず，4.12.xの最新である4.12.5にしました．4.13にするためにいろいろいじったので，いくつかのパッケージがbuildできませんが，とりあえず動いています^^;

いま，KDEのほうではKDE 5のベータが出ているので，苦労して4.13にするよりも，5が少し練れてから移行しようと思います．