Tekton: build and regularly update R-devel.
Tekton: check 'develop' with 'R-devel', better naming of check output.