move oprofile into linux
spell check
add results for sicm.org
change header argument in symbolic-intergration.org
add results for symbolic-integration.org