vcmi: disable pch headers build
VCMI: enable for 32biVCMI: enable for 32bitt
vcmi: depends on libstdc++
vcmi: update to version 1.3.1 Most of our patch hs been upstreamed. The remaining part would break other platforms.