CRUX ports added to portdb

My collection of CRUX ports has been just added to the portdb section at CRUX’s web-site, as ppetrov. I also maintain Xfce 4.12 for CRUX 3.7, but decided that it will not be of much interest, so it’s not there. Anyway, both repos are available at GitHub.