ports-mgmt/tinderbox-devel: set IGNORE, DEPRECATED, remove on 14 Feb

The -devel version of tinderbox hasn't seen an update in over three
years and it's significantly older than the stable version. Since there
doesn't appear to be a need for -devel version anymore, let's just
remove it on 14 Feb 2016. (Don't forget to set secondly field in MOVED
accordingly!)

PR: 206138
Approved by: crees (maintainer)