Fixed positive assumption for arc trigonometric functions

TODO

- [x] add tests for acos and asin using old assumptions: 4 routines were added by only two functions are tested using the old assumptions.
- [x] use a Rational argument like 1/7 that doesn't have a known value
- [x] replace 1, 2 with 1, 7
```
>>> acos(S.Half)
pi/3
>>> asin(S.Half)
pi/6
```

Trying to fix https://github.com/sympy/sympy/issues/7246

Though I'm facing some problem.
```
>>> from sympy import *
>>> p = Symbol('p', positive=True)
>>> f = atan(p)
>>> f.is_positive
True  #Expected
>>> f.is_negative
True  #Expected
>>> u = Symbol('u')
>>> mf = atan(u)
>>> mf.is_positive
True  #Not Expected
```

But if I do only the second part it works well

```
>>> from sympy import *
>>> u = Symbol('u')
>>> mf = atan(u)
>>> mf.is_positive
>>> #Expected
```

Maybe ```cls.is_positive``` or ```cls.is_negative``` is not the correct way to do it. Should I define properties in these classes? Please help.

**Update**
It is working now