subprover: restructure modules
makefile: adapt subprover module split
rename splited modules