Profiling

@lucasvanlierop can this be merged, removed or at least renamed to junk/?