Removed older files (now part of Stan.jl)